Automatic Test Case Generation for Orchestration Languages at Service Oriented Architecture
نویسندگان
چکیده
منابع مشابه
Automatic Test Case Generation for Orchestration Languages at Service Oriented Architecture
Service oriented architecture (SOA) is one of the latest software architectures. This architecture is created in direction of the business requirements and for removing the gap between softwares and businesses. The software testing is rising cost of activities in development software. SOA has different specifications and features proportion of the other software architectures. According to thes...
متن کاملTest case generation for object-oriented imperative languages in CLP
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to a system under test. White-box TCG is usually performed by means of symbolic execution, i.e., instead of executing the program on normal values (e.g., numbers), the program is executed on symbolic values representing a...
متن کاملProperty Oriented Test Case Generation
In this paper we propose an approach to automatically produce test cases allowing to check the satissability of a linear property on a given implementation. Linear properties can be expressed by formulas of temporal logic. An observer is built from each formula. An observer is a nite automaton on innnite sequences. Of course, testing the satissabil-ity of an innnite sequence is not possible. Th...
متن کاملAutomatic Test Case Generation for Services
Service-oriented computing (SOC) proposes loosely coupled interacting services as building blocks for distributed applications. This distributed nature makes the guarantee of correctness a challenging task. Based on the specification of a service (the public view), we introduce an approach to automatically generate test cases for black-box testing to check for compliance between the specificati...
متن کاملAutomatic Test Case Generation for Interacting Services
Service-oriented architectures propose loosely coupled interacting services as building blocks for distributed applications. Since distributed services differ from traditional monolithic software systems, novel testing methods are required. Based on the specification of a service, we introduce an approach to automatically generate test cases for blackbox testing to check for conformance between...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Computer Applications
سال: 2013
ISSN: 0975-8887
DOI: 10.5120/13876-1756